661. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Groups, Theory of,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
662. Optimization and computational logic
پدیدآورنده : McAloon, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
663. Optimization and computational logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
664. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C4O6
665. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C447
1999
666. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C447
1999
667. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C45
668. Ordered Algebraic Structures
پدیدآورنده : edited by W. Charles Holland, Jorge Martinez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
669. Outlines of a formalist phylosophy of mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
164
Cu-O
670. PROLOG for Computer Science
پدیدآورنده : by M.S. Dawe, C.M. Dawe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
671. Papers in philosophical logic /
پدیدآورنده : David Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
L44
1998
672. Passage to abstract mathematics /
پدیدآورنده : Mark E. Watkins, Jeffrey L. Meyer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Authorship,Technical writing
رده :
QA42
.
W38
2012
673. Patras Logic Symposion :
پدیدآورنده : edited by George Metakides
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L65
1980
674. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
675. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T53P45
676. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
677. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
678. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
679. Philosophical aspects of symbolic reasoning in early modern mathematics
پدیدآورنده : / edited by Albrecht Heeffer and Maarten Van Dyck
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical, History, Congresses
رده :
E-BOOK
